ci-install: add ci_distro

Otherwise, we'll fail (due to set -u) if this parameter variable isn't
passed.

Signed-off-by: Simon McVittie <simon.mcvittie@collabora.co.uk>
Closes: #600
Approved by: cgwalters

diff --git a/tests/ci-install.sh b/tests/ci-install.sh
index 8111809f78f46a614ec80a6af263d209937151a2..326ab35b9bb171197751ec2d333e8a5844430569 100755 (executable)
--- a/tests/ci-install.sh
+++ b/tests/ci-install.sh
@@ -4,6 +4,7 @@ set -euo pipefail
 set -x
 
 NULL=
+: "${ci_distro:=debian}"
 : "${ci_docker:=}"
 : "${ci_in_docker:=no}"
 : "${ci_suite:=jessie}"